QUANT_BOUND_INST=false
QUANT_EAGER_MAX_DEPTH=10
QUANT_LAZY_MAX_DEPTH=10
MAM=4
DYNAMIC_ACKERMANN=false
PHASE_SELECTION=0
FOURIER_MOTZKIN_ELIM=false



